How to Audit Logical Access Control